QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets

Synchronisation and concurrency aspects as well as sharing of resources are common features of distributed systems. Modelling the last aspect, especially the scheduling strategy amongst competing jobs, can be extremely hard using (Coloured) Generalized Stochastic Petri nets (CGSPNs). Queueing Petri nets (QPNs) provide additional elements for a convenient speciication of such queueing situations. QPNs can be used for qualitative analysis employing eecient techniques from Petri net theory, and performance analysis (quantitative analysis) exploiting Markovian analysis algorithms. QPN-Tool supports both forms of analysis and ooers a convenient graph-ical interface enabling also unexperienced users to specify and analyse their system using the QPN model world.